int main() { return foo();  }
